1. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
2. Character evidence :
پدیدآورنده : Douglas Walton.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abduction (Logic),Artificial intelligence.,Examination of witnesses-- Psychological aspects.,Reputation (Law),Abduction (Logique),Audition des témoins.,Intelligence artificielle.,Réputation.,Abductie (logica),Abduction (Logic),Argumentatieleer.,Artificial intelligence.,Beoordeling.,Examination of witnesses-- Psychological aspects.,LAW-- Civil Procedure.,LAW-- Legal Services.,Persoonlijkheid.,POLITICAL SCIENCE-- Government-- Judicial Branch.,Reputation (Law),Sciences humaines.,Sciences sociales.
رده :
K2271
.
W35
2006eb
3. Foundations without foundationalism :
پدیدآورنده : Stewart Shapiro.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Wiskundige logica.
رده :
QA9
.
S48
1991eb
4. La Logique au service du droit
پدیدآورنده : Paul-Henri Steinauer
کتابخانه: Iranology Foundation Library (Tehran)
موضوع : Law, Methodology,Logic
رده :
K
213
.
S74
1979
5. La lógica de la investigación científica /
پدیدآورنده : Karl R. Popper ; [traducción de Victor Sanchez de Zavala].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Science-- Methodology.,Logique.,Sciences-- Méthodologie.,CIENCIA-- METODOLOGIA.,FILOSOFIA DE LA CIENCIA.,LOGICA.,Science-- Methodology.
رده :
Q175
.
P86318x
6. Legal argumentation and evidence /
پدیدآورنده : Douglas Walton.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Evidence (Law),Law-- Methodology.,Logic.,Reasoning.,Argumentation.,Logique juridique.,Logique.,Preuve (Droit),08.33 logics and argumentation.,86.03 theory and methodology of law.,Argumentatie.,Droit.,Evidence (Law),Evidence (Law),Juristische Argumentation,Juristische Logik,Law-- Methodology.,Law-- Methodology.,Logic.,Méthodologie.,Reasoning.,Rechtsphilosophie,Rechtspraak.
رده :
K213
.
W35
2002
7. Logic, semantics, metamathematics :
پدیدآورنده : by Alfred Tarski ; translated by J.H. Woodger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
رده :
BC135
.
T35
1983
8. Logique d'Aristote .../ par J. Barthelemy, Saint-Hilaire
پدیدآورنده : Saint-Hilaire, Jules
موضوع : Aristotle,Logic,Science -- Methodology,Methodology
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
9. Logique et methode chez Aristote;etude sur la recherche des principes dans la physique aristotelicienne
پدیدآورنده : par J. M. Le Blond.
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Aristotle,Logic.,Science--Methodology.,Methodology.
10. Methodes de logique
پدیدآورنده : / Willard V. O. Quine,Quine
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Logic -- Methodology
رده :
BC
50
.
Q8
11. Posterior analytics /
پدیدآورنده : translated with a commentary by Jonathan Barnes.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Definition (Philosophy), Early works to 1800.,Knowledge, Theory of, Early works to 1800.,Logic, Early works to 1800.,Science-- Methodology, Early works to 1800.,Connaissance, Théorie de la, Ouvrages avant 1800.,Définition (Logique), Ouvrages avant 1800.,Logique, Ouvrages avant 1800.,Definition (Philosophy),Knowledge, Theory of.,Logic.,Philosophy & Religion.,PHILOSOPHY-- Logic.,Philosophy.,Science-- Methodology.
رده :
B441
.
A5
B37
1993eb
12. The Logic programming paradigm :
پدیدآورنده : K.R. Apt [and others] eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.,Logisch programmeren.,Programmation logique.
رده :
QA76
.
63
K737
1999
13. The methods of contemporary thought
پدیدآورنده : [by] J.M. Bocheński. [Translated from the German by Peter Caws].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Logique.,Methodology.
رده :
BC50
.
B956
1965
